661. Understanding logic locking
Author: / Kimia Zamiri Azar...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer security,a04
662. VDM'91 Formal Software Development Methods :
Author: edited by S. Prehn, W.J. Toetenel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
663. VDM '90 VDM and Z -- Formal Methods in Software Development :
Author: edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
664. VLSI:
Author: edited by Ricardo Reis, Luc Claesen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.
Classification :
TK7874
.
75
E358
1997
665. Verification:
Author: edited by Nachum Dershowitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2004
666. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
667. Verification of Sequential and Concurrent Programs
Author: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
76
.
V47
B957
1997
668. Verification techniques for system-level design /
Author: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7895
.
E42
F95
2008eb
669. Verifying Concurrent Processes Using Temporal Logic
Author: by Brent T. Hailpern.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic design.
670. Web Services and Formal Methods :
Author: edited by Maurice H. Beek, Niels Lohmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
671. Web and wireless geographical information systems :
Author: Miguel R. Luaces, Farid Karimipour (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
Classification :
G70
.
212
672. Web services foundations /
Author: Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
Classification :
TK5105
.
88813
